|
|
Expert systems ES for home study and evaluation
Novák, Jaroslav ; Honzík, Petr (referee) ; Jirsík, Václav (advisor)
This master thesis contains the basic information about knowledge and expert systems. The thesis contains theoretic text about architecture of the expert systems and representation knowledge. The text regarding on representation knowledge contains examples of different ways of knowledge representation for expert systems. In the next part is described the design and all functions of the expert systems. This expert system uses frames representation.
|
|
|
Problem diagnostics by expert system
Mertlík, Tomáš ; Nagy, Ľuboš (referee) ; Karásek, Jan (advisor)
This paper refers to expert systems. Expert system is a computer program dedicated to giving an expert advice, decisions or recommending the best solution in a particular situation. This paper mentions four types of expert system which are commonly used in practice. Basic, additional and complementary components of expert systems are described. The practical part of this paper refers to the diagnostic problem of computer start based on expert system implemented in JAVA programming language and ECLIPSE IDE.
|
|
|
Knowledge representation for expert systems
Lekeš, Pavel ; Sáblík, Václav (referee) ; Polách, Petr (advisor)
The objective of this work is to analyze using of the first order logic for reasoning in knowledge based systems. Merit of the predicate logic is its relative simplicity in matter of algorithm development, where it is possible to decide about validity of a sentence written in first order logic language, by using formal rules without any connection to real meanings of logical variables. In Expert systems, the first order logic is used to derivate new formulas from given axioms, where previously derived formulas are included to the axioms as well. Its process of derivation of implicit believes from explicitly given facts.
|
|
|
Diagnostic expert system
Mertlík, Tomáš ; Nagy, Ľuboš (referee) ; Karásek, Jan (advisor)
This paper refers to expert systems. Expert system is a computer program dedicated to giving an expert advice, decisions or recommending the best solution in a particular situation. This paper mentions four types of expert system which are commonly used in practice. Basic, additional and complementary components of expert systems are described. The practical part of this paper refers to the diagnostic problem of computer start based on expert system implemented in JAVA programming language and ECLIPSE IDE.
|
|
|
Knowledge representation methods
Verbík, Josef ; Polách, Petr (referee) ; Jirsík, Václav (advisor)
This thesis deals with methods of knowledge representation within expert systems. The thesis describes the expert systems and their history. Furthermore, it provides a description of individual types of expert systems and their components. Following this description, there is a characteristic of the knowledge representation. These characteristic has been divided into two parts. The first part describes the requirements neccessary for efficient knowledge representation. The second part describes the following individual methods of knowledge representation: rules, frames, semantic nets and predicate logic.
|
|
|
Fuzzy Petri Nets for Expert systems
Maksant, Jindřich ; Valenta, Jan (referee) ; Jirsík, Václav (advisor)
The object of this thesis is proposal and practical implementation of expert system, whose knowledge base will be modeling by fuzzy Petri nets. The proposal is based on knowledge in theoretical analysis of diagnostic expert system and fuzzy Petri nets. This proposal is realised in programming language C#. There are described functions of program and it is made a model consultation with using two different knowledge base.
|
|
|
Conceptual Structures As a Tool for Knowledge Representation
Ferbarová, Gabriela ; Ivánek, Jiří (advisor) ; Souček, Martin (referee)
(in English): Conceptual graphs are a formal knowledge representation language introduced by John F. Sowa, an American specialist on Artificial Intelligence, at the end of the seventies. They are the synthesis of heuristic and formalistic approach to Artificial Intelligence and knowledge procession. They provide meaning and knowledge in form, which is logically precise, human- readable and untestable, and it is applicable in the computing domain in general. Conceptual graphs can be expressed through a first-order logic, which makes them a quality tool for intelligent reasoning. Their notation CGIF was standardised by norm ISO/IEC 24707:2007 as one of the three dialects of Common logic, which frames the set of logic based on logic. Conceptual graphs are also mappable to knowledge representation languages standardised for the Semantic Web; OWL and RDF (S). This work introduces the conceptual graph theory in the context of scientific fields like linguistics, logic and artificial intelligence. It represents the formalism proposed by John F. Sowa and some extensions that have emerged over the past decades, along with the need for improvements to the representational properties of graphs. Finally, the work provides an illustrative overview of the implementation and use of conceptual graphs in practice....
|
|
|
Deep Neural Networks in Image Processing
Ihnatchenko, Luka ; Mrázová, Iveta (advisor) ; Pilát, Martin (referee)
The goal of this master thesis was to propose a suitable strategy to detect and classify objects of interest in mammogram images. A part of this goal was to implement an experimentation framework, that will be used for data preparation, model training and comparison. Patch and full-image versions of the dataset were used in the analysis. Initialisation with weights that were pretrained on the images from other domain improved classifier performance. ResNet-34 had better AUC scores on the test set that ResNet-18. Semi-supervised training using entropy minimisation has no significant improvement over the supervised one. The thesis includes the visualisation of the network predictions and the analysis of the knowledge representation of the classier. The achieved results for a patch version of the dataset are comparable to the results of another article that utilised the same test set. For a full-image dataset the results of the training were suboptimal. 1
|
|
|
Problem diagnostics by expert system
Mertlík, Tomáš ; Nagy, Ľuboš (referee) ; Karásek, Jan (advisor)
This paper refers to expert systems. Expert system is a computer program dedicated to giving an expert advice, decisions or recommending the best solution in a particular situation. This paper mentions four types of expert system which are commonly used in practice. Basic, additional and complementary components of expert systems are described. The practical part of this paper refers to the diagnostic problem of computer start based on expert system implemented in JAVA programming language and ECLIPSE IDE.
|
|
|
Conceptual Structures As a Tool for Knowledge Representation
Ferbarová, Gabriela ; Ivánek, Jiří (advisor) ; Souček, Martin (referee)
(in English): Conceptual graphs are a formal knowledge representation language introduced by John F. Sowa, an American specialist on Artificial Intelligence, at the end of the seventies. They are the synthesis of heuristic and formalistic approach to Artificial Intelligence and knowledge procession. They provide meaning and knowledge in form, which is logically precise, human- readable and untestable, and it is applicable in the computing domain in general. Conceptual graphs can be expressed through a first-order logic, which makes them a quality tool for intelligent reasoning. Their notation CGIF was standardised by norm ISO/IEC 24707:2007 as one of the three dialects of Common logic, which frames the set of logic based on logic. Conceptual graphs are also mappable to knowledge representation languages standardised for the Semantic Web; OWL and RDF (S). This work introduces the conceptual graph theory in the context of scientific fields like linguistics, logic and artificial intelligence. It represents the formalism proposed by John F. Sowa and some extensions that have emerged over the past decades, along with the need for improvements to the representational properties of graphs. Finally, the work provides an illustrative overview of the implementation and use of conceptual graphs in practice....
|
guest ::
